14 research outputs found
Polyhedral representations of discrete differential manifolds
Any discrete differential manifold (finite set endowed with an algebraic
differential calculus) can be represented by appropriate polyhedron . This representation demonstrates the adequacy of the calculus of
discrete differential manifolds and links this approach with that based on
finitary substitutes of continuous spaces introduced by R.D.Sorkin.Comment: LaTeX, 35 Kb, submitted to JM
Logic programming as quantum measurement
The emphasis is made on the juxtaposition of (quantum~theorem) proving versus
quantum (theorem~proving). The logical contents of verification of the
statements concerning quantum systems is outlined. The Zittereingang (trembling
input) principle is introduced to enhance the resolution of predicate
satisfiability problem provided the processor is in a position to perform
operations with continuous input. A realization of Zittereingang machine by a
quantum system is suggested.Comment: 11 pages, latex, paper accepted for publication in the International
Journal of Theoretical Physic